The Ontology Revision
نویسندگان
چکیده
An ontology consists of a set of concepts, a set of constraints imposing on instances of concepts, and the subsumption relation. It is assumed that an ontology is a tree under the subsumption relation between concepts. To preserve structural properties of ontologies, the ontology revision is not only contracting ontologies by discarding statements inconsistent with a revising statement, but also extracting statements consistent with the revising statement and adding some other statements. In the ontology revision, the consistency of a revising statement with the theory of the logical closure of the ontology under the closed world assumption is discussed. The basic postulates of the ontology revision are proposed and a concrete ontology revision is given based on the consistence or inconsistence of an ontology and a revising statement.
منابع مشابه
The Use of the Belief Revision Concept to Ontology Revision
Ontology is a formal explicit specification of shared conceptualisation. Ontology revision refers to revising the ontology as a result of learning or when new knowledge is gained. This paper discusses the possibility of using the concept of belief revision as a basis for ontology revision. Belief revision is concerned with the approach of updating and revising a belief set so that it remains co...
متن کاملA Framework of Ontology Revision on the Semantic Web: A Belief Revision Approach
The focus of the research in ontologies shifts from ontology representation to ontology evolution perspectives that become an important field of ontology research. Even though ontology refers to specification of conceptualisation that provides a useful way to represent the semantics of the Web resources, there is a still need for maintaining and handling ontologies. Because ontologies may chang...
متن کاملOntology Revision as Non-Prioritized Belief Revision
Ontology revision is the process of managing an ontology when a new axiom or fact would render it inconsistent. So far, the AGM approach to belief revision has been adapted to work with ontologies. However, when multiple sources are contributing uncertain knowledge about a static domain, an approach that doesn’t give priority to incoming information and allows to recover previously discarded ax...
متن کاملA Conflict-based Operator for Mapping Revision Theory and Implementation
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either automatically or semiautomatically. However, the mappings generated by these systems may be inconsistent with the ontologies. Several approaches have been proposed to deal with the inconsistencies between mappings and on...
متن کاملOne Axiomatic System for the Ontology Revision
An ontology consists of concepts and the subsumption relation between these concepts, and is assumed to be a tree under the subsumption relation. In the process of building and maintaining ontologies, new statements which may contradict with exiting statements are added to the ontologies constantly. The ontology revision is necessary to accommodate new statements. In terms of the method of the ...
متن کامل